tính chất chia hết của một tổng